منابع مشابه
Borel Complexity and Potential Canonical Scott Sentences
We define and investigate HC-forcing invariant formulas of set theory, whose interpretations in the hereditarily countable sets are well behaved under forcing extensions. This leads naturally to a notion of cardinality ||Φ|| for sentences Φ of Lω1,ω, which counts the number of sentences of L∞,ω that, in some forcing extension, become a canonical Scott sentence of a model of Φ. We show this card...
متن کاملSelf-admissible sets
Best-response sets (Pearce [29, 1984]) characterize the epistemic condition of “rationality and common belief of rationality.” When rationality incorporates a weak-dominance (admissibility) requirement, the self-admissible set (SAS) concept (Brandenburger-Friedenberg-Keisler [18, 2008]) characterizes “rationality and common assumption of rationality.” We analyze the behavior of SAS’s in some ga...
متن کاملAdmissible digit sets
We examine a special case of admissible representations of the closed interval, namely those which arise via sequences of a finite number of Möbius transformations. We regard certain sets of Möbius transformations as a generalized notion of digits and introduce sufficient conditions that such a “digit set” yields an admissible representation of [0,+∞]. Furthermore we establish the productivity ...
متن کاملDense Admissible Sets
Call a set of integers {b1, b2, . . . , bk} admissible if for any prime p, at least one congruence class modulo p does not contain any of the bi. Let ρ ∗(x) be the size of the largest admissible set in [1, x]. The Prime k-tuples Conjecture states that any for any admissible set, there are infinitely many n such that n+b1, n+b2, . . . n+bk are simultaneously prime. In 1974, Hensley and Richards ...
متن کاملTuring Incomparability in Scott Sets
For every Scott set F and every nonrecursive set X in F , there is a Y ∈ F such that X and Y are Turing incomparable.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Mathematical Logic
سال: 1974
ISSN: 0003-4843
DOI: 10.1016/0003-4843(74)90017-5